-
1 алгоритмически неразрешимый
алгоритмі́чно нерозв'я́знийРусско-украинский политехнический словарь > алгоритмически неразрешимый
-
2 алгоритмически неразрешимый
алгоритмі́чно нерозв'я́знийРусско-украинский политехнический словарь > алгоритмически неразрешимый
-
3 неразрешимый
-
4 неразрешимый
См. также в других словарях:
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия